<html>
<head><meta charset="utf-8"><title>I-prioritize #78549 ICE: trying to compare incompatible cto… · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378549.20ICE.3A.20trying.20to.20compare.20incompatible.20cto.E2.80.A6.html">I-prioritize #78549 ICE: trying to compare incompatible cto…</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="215049497"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378549%20ICE%3A%20trying%20to%20compare%20incompatible%20cto%E2%80%A6/near/215049497" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378549.20ICE.3A.20trying.20to.20compare.20incompatible.20cto.E2.80.A6.html#215049497">(Oct 30 2020 at 02:00)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/78549">#78549</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="215049516"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378549%20ICE%3A%20trying%20to%20compare%20incompatible%20cto%E2%80%A6/near/215049516" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378549.20ICE.3A.20trying.20to.20compare.20incompatible.20cto.E2.80.A6.html#215049516">(Oct 30 2020 at 02:00)</a>:</h4>
<p>working code -&gt; ICE</p>
<p>I think <code>P-high</code></p>



<a name="215049520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378549%20ICE%3A%20trying%20to%20compare%20incompatible%20cto%E2%80%A6/near/215049520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378549.20ICE.3A.20trying.20to.20compare.20incompatible.20cto.E2.80.A6.html#215049520">(Oct 30 2020 at 02:00)</a>:</h4>
<p>And it's simple code too</p>



<a name="215049526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378549%20ICE%3A%20trying%20to%20compare%20incompatible%20cto%E2%80%A6/near/215049526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378549.20ICE.3A.20trying.20to.20compare.20incompatible.20cto.E2.80.A6.html#215049526">(Oct 30 2020 at 02:01)</a>:</h4>
<p>MCVE provided by <span class="user-mention silent" data-user-id="245339">Nadrieril</span>:</p>
<div class="codehilite" data-code-language="Rust"><pre><span></span><code><span class="k">fn</span> <span class="nf">main</span><span class="p">()</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">    </span><span class="k">match</span><span class="w"> </span><span class="s">"foo"</span><span class="w"> </span><span class="p">{</span><span class="w"></span>
<span class="w">        </span><span class="s">"foo"</span><span class="w"> </span><span class="o">=&gt;</span><span class="w"> </span><span class="p">{},</span><span class="w"></span>
<span class="w">        </span><span class="o">&amp;</span><span class="n">_</span><span class="w"> </span><span class="o">=&gt;</span><span class="w"> </span><span class="p">{},</span><span class="w"></span>
<span class="w">    </span><span class="p">}</span><span class="w"></span>
<span class="p">}</span><span class="w"></span>
</code></pre></div>



<a name="215207322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378549%20ICE%3A%20trying%20to%20compare%20incompatible%20cto%E2%80%A6/near/215207322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Yuki Okushi <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378549.20ICE.3A.20trying.20to.20compare.20incompatible.20cto.E2.80.A6.html#215207322">(Oct 31 2020 at 19:16)</a>:</h4>
<p>Or even <code>P-critical</code>? This breaks a real world crate, e.g. <a href="https://github.com/rust-lang/rust/issues/78598">#78598</a></p>



<a name="215207341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378549%20ICE%3A%20trying%20to%20compare%20incompatible%20cto%E2%80%A6/near/215207341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378549.20ICE.3A.20trying.20to.20compare.20incompatible.20cto.E2.80.A6.html#215207341">(Oct 31 2020 at 19:16)</a>:</h4>
<p><span class="user-mention" data-user-id="217081">@Yuki Okushi</span> there's a simple workaround though - just remove the <code>&amp;</code></p>



<a name="215207348"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378549%20ICE%3A%20trying%20to%20compare%20incompatible%20cto%E2%80%A6/near/215207348" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378549.20ICE.3A.20trying.20to.20compare.20incompatible.20cto.E2.80.A6.html#215207348">(Oct 31 2020 at 19:17)</a>:</h4>
<p>but yeah it would be bad for this to land on stable</p>



<a name="215207363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378549%20ICE%3A%20trying%20to%20compare%20incompatible%20cto%E2%80%A6/near/215207363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378549.20ICE.3A.20trying.20to.20compare.20incompatible.20cto.E2.80.A6.html#215207363">(Oct 31 2020 at 19:17)</a>:</h4>
<p>I think it's <code>P-critical</code></p>



<a name="215207432"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378549%20ICE%3A%20trying%20to%20compare%20incompatible%20cto%E2%80%A6/near/215207432" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Yuki Okushi <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378549.20ICE.3A.20trying.20to.20compare.20incompatible.20cto.E2.80.A6.html#215207432">(Oct 31 2020 at 19:18)</a>:</h4>
<p>Oh, fix is up: <a href="https://github.com/rust-lang/rust/issues/78553">#78553</a></p>



<a name="215207445"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378549%20ICE%3A%20trying%20to%20compare%20incompatible%20cto%E2%80%A6/near/215207445" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378549.20ICE.3A.20trying.20to.20compare.20incompatible.20cto.E2.80.A6.html#215207445">(Oct 31 2020 at 19:19)</a>:</h4>
<p>it's waiting on review, yeah</p>



<a name="215207446"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378549%20ICE%3A%20trying%20to%20compare%20incompatible%20cto%E2%80%A6/near/215207446" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Yuki Okushi <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378549.20ICE.3A.20trying.20to.20compare.20incompatible.20cto.E2.80.A6.html#215207446">(Oct 31 2020 at 19:19)</a>:</h4>
<p>Okay, let's mark it as <code>P-critical</code> to keep eyes in case</p>



<a name="215207451"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378549%20ICE%3A%20trying%20to%20compare%20incompatible%20cto%E2%80%A6/near/215207451" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378549.20ICE.3A.20trying.20to.20compare.20incompatible.20cto.E2.80.A6.html#215207451">(Oct 31 2020 at 19:19)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="121053">@varkor</span></p>



<a name="215207542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2378549%20ICE%3A%20trying%20to%20compare%20incompatible%20cto%E2%80%A6/near/215207542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2378549.20ICE.3A.20trying.20to.20compare.20incompatible.20cto.E2.80.A6.html#215207542">(Oct 31 2020 at 19:21)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/78549">#78549</a>'s prioritization request has been removed.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>